#include <omnitrix/console.h>
#include <omnitrix/io.h>
#include <omnitrix/omnitrix.h>
#include <omnitrix/string.h>
#include <omnitrix/types.h>


char message[] = "Hello\nomnitrix!\n";
char buf[1024];

void kernel_init()
{
    console_init();
    u32 count = 20;
    while (count --) {
        console_write(message, sizeof(message) - 1);
    }
    return;
}